Cfg To Cnf Conversion